Ingwerstollen, touristisch durchstossen