Hoe groot mag een veranda zijn?