<?
	$filename = 'RobotinoSimRoboCup-1.2.1.exe';
	header( 'Location: https://doc.openrobotino.org/download/RobotinoSim/'. $filename );
	?>