Please note that, harassed by history and publishing in three languages, I have in the course of time used different author's names. "J. C. Nyíri" is me. "J. Christoph Nyíri" is also me. Sorry about this mess... But you can always visit my homepage: www.hunfi.hu/nyiri .