Berliner und Brandenburger Seen (Straussee, Stechlinsee und Werbellinsee): Tauchgebühren, Genehmigungen und Budget