19. Juli war bislang wärmster Tag dieses Jahres