Wird Krätze dem Gesundheitsamt gemeldet?