refurbishment of Den Bosch Chamber of Commerce