byggnaden , ett sandstens- eller s. k. gjuthus,