Danke für deine tips. Kürzlich habe ich auch im Internet danach gesucht und ein Paar super Pumps gekauft. Allerdings waren sie ziemlich teuer (EUR 95,-). Vielleicht kennst du ja eine Seite, wo man dergleichen etwas billiger bekommt (mal abgesehen von ebay).