Habe nun meine Verdeckpumpe repariert. Die alte stand wohl im Wasser und war stark verrostet. Habe dafür das komplette Verdeck abgebaut und wieder dran gebaut. War viel Arbeit hat aber gut geklappt. Ca. 3 Std. Ausbau...1 Std. Reparatur...2 Std. Einbau. Für das Raus- und Reinheben des kompletten Verdeckes benötigt man eine zweite Person. Wenn BMW in dem Plastikgehäuse in dem die Pumpe selber sitzt unten ein paar Löcher gemacht hätte damit Wasser abfließen kann wäre nichts passiert und die alte Pumpe wäre nicht defekt gegangen.