"Peter-Michael Reichel"@cs .