Up to that year Bergen was a separate county , but is today a municipality in the county of Hordaland .
Until 1972 , Bergen was a county , but today it is a municipality in the county of Hordaland .