public-svn - Revision 11139: /publications/kn-old/theo-isttt99