We finally went with “Lebkuchenhaus“ – the German word for gingerbread house – instead of IHOP. (Which is an ideal translation imho – I just didn't think of it … Luckily, a friend of mine suggested it immediately after I asked her!)
Thanks for your comments; they made sure I always had the motivation I needed to care about these tiny details.
We're currently translating chapter 11 into German. It's going along fine, but
is still puzzling us. No dictionary entries, no HPMoR-unrelated search hits, nothing…
Is this some kind of dadaist joke by Eliezer? Or are we missing something?