Tonerdereiche Steine (Andalusit-, Bauxit-, Korund-, Mullit-, Sillimanitsteine)