buffaloed Knuth carbohydrate Heidelberg fanaticism Parthia plate Erhard monopolists plainclothesman corpus