public-svn - Revision 11810: /publications/kn-old/rickert-nagel-dfw