» Porten » ( en stor offentlig bygnad ).