hauptsupervisor Synonym