Yes, I saw that, Der Zauberberg is the german title.