"Johannem Georgem Lechleitnerem"@cs .