Sollte ich ein Tauchmesser mit abgerundeter Spitze wählen?