<?
$filename = 'robotino-examples_0.7.3_i386.deb';
header( 'Location: http://doc.openrobotino.org/download/packages/i386/'. $filename );
?>