som tagit till utgångspunkt professor Storms upplysningar , att Norges gamla nationalfärger äro rödt.