Oud-topambtenaar, -staatsraad en -informateur Rein Jan Hoekstra overleden