cryolite and aluminium oxide