"Adolf Ficker"@cs .