server {
	listen 80;
	server_name demo.taler.net;
	server_name www.demo.taler.net;
	rewrite ^ https://$server_name$request_uri? permanent;
}