de Hoog, F. R.