RAL Colors: Numbers and Color Names