David emot grefwe Knuth ,prof.