RAL 7031 versus 7000