Hallo mbb,
Der Schwimmer lässt sich auch leicht reparieren. Baue den Schwimmer aus, suche das Loch durch das Wasser in den Schwimmer gelangt, nimm eine 3mm Bohrer oder ähnliche Größe, bohre das Loch auf, schüttle das komplette Wasser aus dem Schwimmer und verschließe das Loch mit einer...