I have given the OOC Home Page at http://www.uni-kl.de/OOC a (very necessary) overhaul. Now important stuff like downloads is readily accessible, and the presentation of information is generally better. Please report any inconsistencies like dead links or typos to me. -- mva