04/10/2021: Good bye, Franz

The RISC family wishes Franz (Winkler) all the best for his new life after RISC.