Umgekehrte_polnische_Notation loading ...