Hugo Portisch bekam Goldenes Ehrenzeichen der Republik