porterserveringslokalen vid Jerntorget , n:r 1.