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