byggandet af s. k. gjutna sandstenshus.