Die teichpumpe funktioniert nicht mehr. Lohnt sich eine Reparatur?