"Fritz Encke"@cs .