You might also know this place by the following names:
Ihrlerstein, Ihrlerstoa, Իրլերշտայն, Ирлерштайн, Ирлерштајн, Ірлерштайн, 伊尔莱尔斯泰因