Former mountain fortress converted in the baroque style according to a design by the architect Kilian Ignaz Dietzenhofer