Jernbauhallen i Kristiania var riktoeb