Der Taucher wurde von seinen Kollegen gerettet.