Comment by eqvinox

> because it assumes it's "ff" not "fff"

Funnily enough—and possibly related—this was correct before the German orthography reform of 1996 [https://en.m.wikipedia.org/wiki/German_orthography_reform_of...]