Bev. til byggearbeider ved den kv. industriskole i Oslo, kap. 1130, bsj.innst. S. nr. 150, side 8, S.tid. 401.