ヘルデンリーベンって何のこと？ぐぐっても何もひっかからなかったけえ。
初心者のためにも、できれば一般的な呼称も付記してほしいな、と思ったです。
218や220の書き込みを見ると、初心者は少し勉強してからオイデってことかな。