Formale_Sprache loading ...