TUM Boring - Innovation in Tunneling is a team of the TU Munich participating in the Not-a-Boring Competition by Elon Musk's Boring Company