aldor-interface branch has already been merged to trunk and is thus obsolete
Authored by: hemmecke 2008-10-06
Parent: [r400]
Child: [r402]