Mietminderung Baulärm - Haben Einzelmieter gegenüber der Agentur einen Anspruch auf Mietminderung?

Angenommen, in einer großen deutschen Stadt gibt es ein vierstöckiges Haus.
In den Stockwerken 1,2 und 3 sind jeweils Wohngemeinschaften.
Die Bewohner dieser Wohngemeinschaften haben jeweils einen Mietvertrag mit einer Agentur, die wiederum die drei Wohnungen direkt vom Besitzer angemietet hat.
Das bisher unbewohnte Erdgeschoss wird plötzlich kernsaniert. Dadurch entsteht erheblicher Baulärm und Schmutz im Treppenhaus. Das Öffnen der Fenster auf der Hausseite auf der die Schuttcontainer stehen, ist durch die teilweise Staubentwicklung tagsüber kaum möglich.
Die Lärmbelästigung ist vor allem im 1. Stock von erheblicher Bedeutung.
Auf Anfrage bei der Vermietagentur,ob aufgrund des Baulärms eine Mietminderung möglich sei, teilt diese mit, dass im Vetrag zwischen Agentur und Hauseigentümer geregelt sei, dass diese Bauarbeiten stattfinden würden.
In den Verträgen der Einzelmieter mit der Agentur werden diese Bauarbeiten jedoch nicht erwähnt.
Rechtliche Beurteilung:
Haben die Einzelmieter gegenüber der Agentur einen Anspruch auf Mietminderung?