"Anton\u00EDn Mandl" . . . "Anton\u00EDn Mandl" .