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