fransk ingeniör M . Leschot uppfunnit ett instrument , hvilket medelst diamanter borrar hål i den hårdaste klippa på ojemförligt kortare tid , med vida mindre arbetskraft och — hvad somförefaller