"operators/operating personnel" Deutsche bedeutung