https://civil.de/minderung-durch-den-mieter-was-sollten-vermieter-tun/