Deutsche Tieftaucherin stellt neuen Weltrekord auf