efter denna var icke stort nog , och operatören mäste derför borra en »artificiel