Detail eines Bohrers eines Senkkasten um den Senkkasten zu entleeren., Diamantbohrköpfe, gebohrtes Loch.