<!--
	Nonfunctional domains:

		- loki08.mpi-sws.mpg.de
		- loki02.mpi-sws.org

-->
<ruleset name="Max Planck Institute for Software Systems" default_off="self-signed">

	<target host="mpi-soft.mpg.de" />
	<target host="www.mpi-soft.mpg.de" />
	<target host="mpi-sws.org" />
	<target host="*.mpi-sws.org" />


	<!--	Cert doesn't match !www.	-->
	<rule from="^http://(?:www\.)?mpi-soft\.mpg\.de/"
		to="https://www.mpi-soft.mpg.de/" />

	<rule from="^http://((?:adresearch|broadband|bftsim|bgp|bugassist|ceal|cloud|concurrency|courses|dependability|friendlist-manager|imprs|mg|monarch|peerreview|peerspective|popl|psn|robust-fpga|satellitelab|simna2011|socialnetworks|twitter|wiki|www)\.)?mpi-sws\.org/"
		to="https://$1mpi-sws.org/" />

</ruleset>
