Heiligenstadt. Sommerbilanz: Der Juli war ein Rekordbrecher.