Zu heiß zum Wohnen: Wann Vermieter nachbessern müssen und Mietminderung möglich ist. Summary from source