Fueling the Covid-19 pandemic: summer school holidays and incidence rates in German districts