ハイデガーなのか、ハイデッガーなのか、という表記ゆれがすごい大きい