var iso = product + '-' + flavour + '_' + current_version + '.iso';
var mirror_url = "http://download.grml.org/devel/";
document.getElementById('download_link_mirror').href = mirror_url + iso;
var iso = product + '-' + flavour + '_' + current_version + '.iso';
var mirror_url = "http://download.grml.org/devel/";
document.getElementById('download_link_mirror').href = mirror_url + iso;