<?php 
  header ("Location: http://www.coli.uni-saarland.de/courses/python/python1"); 
  exit(); 
?>