You might also know this place by the following names:
Pannonhalma, Sankt Martinsberg, Panónsky vrch