New download signing key (was: www.gnu-pascal.de not available)