Wie groß darf eine Terrasse sein ohne Baugenehmigung?