Dobšiná - časť dobšinského chotára