Small‐diameter tunneling in difficult ground – Analysis of TBM performance in hard rock. Issue 1 (15th February 2023)