Externes Einsatzmittel: DLRG-Taucher