Wie hoch darf eine Überdachung im Garten sein?