"Gustav Lechner"@cs .