jernvägshotell , brandförsäkradt för 12,000 kronor.