Vi var der midt på dagen i begynnelsen av juli, sto kanskje 20 minutter i kø. Hadde kjøpt billett på forhånd.