"EurKEY v1.2" = "EurKEY v1.2";
"EurKEY v1.3" = "EurKEY v1.3";
"EurKEY v1.4" = "EurKEY v1.4";
"EurKEY v2.0" = "EurKEY";