"Gerald Spitzner"@cs .