"Lothar Fuchs"@cs .