Eine Tauchunfallversicherung ist Pflicht.