"Rudolfsheim"@cs .