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