Re: make-dictionary and DTDs; additional functions Marc Nieper-Wißkirchen 18 Aug 2021 16:30 UTC