Wilhelm , Knuth , fr,