danke für den Hinweis... Dehnschlauch ist eh zu erneuern... Pümp schnapp ich mir mal eine in der Bucht... Überholen und austauschen... bloss WANN?? hmmm....