Wann muss der Beamte zum Amtsarzt?