Hardrock Tunnel Boring Machines door Leonhard Schmid, Martin Herrenknecht & Bernhard Maidl