Wie groß darf eine Terrasse sein Berlin?