"Alfonsem Wertm\u00FCllerem"@cs . "Alfons Wertm\u00FCller"@cs .