"Eigenmann"@cs .