Wie lange dauert es beim Amtsarzt?