>>789
ラインハルトというのは庶民的な名前だとかなんとか。

というのも人名事典からドイツ人の名前を適当に組み合わせたかららしい。