Stretching a point; Bus station Hoofddorp, The Netherlands