RWTH Color Definitions