( det stora ) och Hofbergs , Hist.-Geogr.-Stat.