A building or group of buildings owned and operated by a governing body and often occupied by a government agency. Use specific type of building where known.