Wann sollte man nach Regen den Rasen mähen?