"Manfred Gerlach"@cs .