City as theatre; theatre, Haarlem, The Netherlands (The)