"Jan Reichmann"@cs .