"Previously published as the German vest pocket dictionary and The Random