Im Marinemuseum eine alte Tauchpumpe für 2 Taucher…