What is the difference to "https://addons.mozilla.org/en-US/firefox/addon/german-dictionary-de_de-for-sp/" and "https://addons.mozilla.org/en-US/firefox/addon/deutsch-alte-rechtschreibung/ " ?