ERMA, the extremely reusable monitoring API