anchor.diff:        })
       ];
     };
  +
  +  /* GERMAN */
  +
  +  de-de = mkDictFromJ3e {
  +    shortName = "de-de";
  +    shortDescription = "German (Germany)";
  +    dictFileName = "de_DE";
  +  };
  +
  +  de-at = mkDictFromJ3e {
  +    shortName = "de-at";
  +    shortDescription = "German (Austria)";
  +    dictFileName = "de_AT";
  +  };
  +
  +  de-ch = mkDictFromJ3e {
  +    shortName = "de-ch";
  +    shortDescription = "German (Switzerland)";
  +    dictFileName = "de_CH";
  +  };
   }
  
positive.code:       };
      };
  
  in {
  
    /* ENGLISH */
  
negative.code: /* hunspell dictionaries */
  
  { stdenv, fetchurl, fetchFromGitHub, unzip, coreutils, bash, which, zip, ispell, perl, hunspell }:
  
  
  let
  