Pub with a beer garden, including a covered area.