Done. New entry 20787 added to the RISC-Linz library.Done. New entry 20788 added to the RISC-Linz library.Done. New entry 20789 added to the RISC-Linz library.Done. New entry 20790 added to the RISC-Linz library.Done. New entry 20791 added to the RISC-Linz library.