C. E. P. M. Raedts, “De stichting van een mijnmuseum, een urgente zaak”, njg, pp. 31-32, Jan. 1973.