Translation of "Operating personell" in German