Det på Gardermoen var stengt når vi skulle å bade i mai iallfall. Tviler på at det åpner på en stund.