Ganze Stadte untertunneln, um Zeit zu sparen: Das ist noch immer das Ziel von The Boring Company. Wie geht es dem Projekt in Las Vegas?