Update auf LinuxMint 19.3

Am 11.12.2019 habe ich das Update auf LinuxMint 19.3 "Tricia" Cinnamon 64 Bit durchgeführt.