Wann ist Mittagsruhe in Erftstadt?