Ist ein Pool im Garten genehmigungspflichtig?