"EurKEY v1.2" = "EurKEY v1.2";
"EurKEY v1.4" = "EurKEY v1.4";
"EurKEY v1.5" = "EurKEY v1.5";