Renovation of the St. Petruskerk on the Langebrug in Leiden,