Original: A municipal borough until 1974 , Buxton was then merged with other localities including Glossop , lying primarily to the north , to form the local government district and borough of High Peak within the county of Derbyshire .
Simplified: It is attached to the Pavilion Gardens , Octagonal Hall and the smaller Paxton Theatre .