Aleris med 3.000 norske ansatte selges