<ruleset name="openHPI">

	<target host="openhpi.de" />
	<target host="www.openhpi.de" />


	<securecookie host="^(?:www\.)?openhpi\.de$" name=".+" />


	<rule from="^http://(www\.)?openhpi\.de(:8443)?/"
		to="https://$1openhpi.de$2/" />

</ruleset>