server { listen 80; server_name ipepdv.ipe.kit.edu; include /etc/nginx/pdv.d/*.conf; }