sport=diving war am Sprungturmbecken vorhanden.
Am ehesten würde ich das mit sport=cliff_diving ersetzen wollen, aber so richtig passt das nicht.

Wenn du wirklich Tauchen meinst würde ich zu sport=scuba_diving tendieren.
Bzgl. Tauchkursen mache ich mich mal schlau. Im Internet ist nichts zu finden.

sport=diving ist mehrdeutig und veraltet, den möchte ich nicht mehr nehmen.