"Manfreda Winkelhocka"@cs . "Manfred Winkelhock"@cs .