Amtshauptmann — senior administrative officer of a German 'Amt'