Bescheid!!!
Habe mich auch gleich mal an die Arbeit gemacht, sie auszutauschen: so lange habe ich noch nie für 2 Muttern (nicht: Mütter...) gebraucht! Der Tech hatte die Zähne beim Anziehen abgerissen, weil er anscheinend mit einer Rohrzange aus dem Heizungsbau die Muttern so hart angepackt hat, dass die leicht oval waren: nach jeder halben Drehung saßen die fest, und soviel Kraft hat man ja auch nicht, mit dem kleinen Toggle in der Hand gegen blanke Gewalt anzuhalten - das hat gedauert!
Aber jetzt: schön, wie es immer hätte sein müssen!
Danke Euch 15/32er Muttersöhnchen für die Tipps!! Passt perfekt, das bisschen Spiel ist vernachlässigbar, umso mehr, nachdem sie fest gezogen wurde.