Bayerische Alpenseen (Walchensee und Starnberger See): Tauchgebühren, Genehmigungen und Budget