Neues Verfahren zum Bohren, Sprengen und Baggern von Fels auf dem Meeresgrund. | Bautechnik