"B Dorsch"@cs . "Benedikt Dorsch"@cs .