server { listen 80; server_name www.fossils.kit.edu; return 301 http://fossils.kaas.kit.edu$request_uri; }