det k. extratåget i tisdags morse kl. 9 utgick från Kristiania.