Restaurant and conference facilities for ESTEC, Noordwijk, the Netherlands