The campus of the Katholieke Universiteit Nijmegen