wie lang ist der San-Bernardino-Tunnel