Mietminderung aufgrund von Bauarbeiten im Dachgeschoss.