You might also know this place by the following names:
Pannonhalma Vasútállomás, Pannonhalma Vasutallomas