Gardasee: Tauchgebühren, Genehmigungen und Budget