Thanks to Henning Glawe who gave me the foils of his FAI talk in german. They are avialable at http://www.informatik.uni-koeln.de/fai/user.html in the section "Other FAI documentation" -- regards Thomas