Done. New entry 20792 added to the RISC-Linz library.Done. New entry 20793 added to the RISC-Linz library.Done. New entry 20794 added to the RISC-Linz library.Done. New entry 20795 added to the RISC-Linz library.Done. New entry 20796 added to the RISC-Linz library.Done. New entry 20797 added to the RISC-Linz library.Done. New entry 20798 added to the RISC-Linz library.Done. New entry 20799 added to the RISC-Linz library.Done. New entry 20800 added to the RISC-Linz library.Done. New entry 20801 added to the RISC-Linz library.Done. New entry 20802 added to the RISC-Linz library.Done. New entry 20803 added to the RISC-Linz library.Done. New entry 20804 added to the RISC-Linz library.Done. New entry 20805 added to the RISC-Linz library.