Om allmänna byggnader uppföras , så äro deantingen