Am 23. Mai 2020 um 09:48 schrieb Günter Milde: > Die entsprechenden Änderungen sind lokal übernommen und demnächst auch im > Master. > Vielen Dank an alle Korrektoren, Danke auch an dich, Günter! \Gisbert