<?php
	header("Location: http://localgazetteers.mpiwg-berlin.mpg.de");
?>