regarding renovation to museum 'De Lakenhal' in Leiden