Hardrock tunnel boring machines - Maidl, Bernhard; Wehrmeyer, Gerhard; Derbort, Marcus (Ernst & Sohn, 2008)