Für was ist ein Amtsarzt zuständig?