Wann Amtsarzt Beamte?