Nieuwe boortechnieken kleine infra door H.M.G. Kruse & J.P. Pruiksma