Wofür steht HAL eigentlich? Ich hab das jetzt mal gegoogelt und das einzige, was ich gelten lassen würde, ist "Hauptabteilungsleiter"