§ 641 Absatz 3 BGB
(3) Kann der Besteller die Beseitigung eines Mangels verlangen, so kann er nach der Fälligkeit die Zahlung eines angemessenen Teils der Vergütung verweigern; angemessen ist in der Regel das Doppelte der für die Beseitigung des Mangels erforderlichen Kosten.