Endlicher_Automat loading ...