Hardrock tunnel boring machines - Maidl, Bernhard...[et.al] (Ernst and sohn, 2008)