In case you'd want to know ...

  According to: 'Normblad NEN 3055. Kleuren voor textielgoederen. 
  Vlaggekleuren. Rood en Blauw.,' the CIE XYZ values for the blue and 
  the red are:

    CIE   X    Y    Z
    --------------------
    Red:  18.3 10.0 3.0
    Blue: 7.5  6.6  25.3

  The red is "bright vermillion" while the blue is described as
  "a cobalt blue".

  When these are converted to RGB and scaled, one gets:

    RGB   R    G    B
    --------------------
    Red:  228  8    12
    Blue: 5    30   141

  The information I used can be found on:
  1. De Nederlandse Vlag,
     http://web.inter.nl.net/users/vanholstein/nic/vlag.htm
  2. Charles Poynton's Color FAQ,
     http://www.inforamp.net/~poynton/ColorFAQ.html

  Geert Jansen,
  g.t.jansen@stud.tue.nl