Renovation of Noordeinde 11 in Leiden,