‘Het Trippenhuis’ of the Royal Netherlands Society of Arts and Sciences