<!--
Disabled by https-everywhere-checker because:
Fetch error: http://mpg.de/ => https://mpg.de/: (28, 'Operation timed out after 0 milliseconds with 0 out of 0 bytes received')
	Fully covered subdomains:

		- (www.)
		- www.cbs
		- (www.)dsb

-->
<ruleset name="MPG.de" default_off='failed ruleset test'>

	<target host="mpg.de" />
	<target host="*.mpg.de" />


	<!--	Not secured by server:
					-->
	<!--securecookie host="^www\.cbs\.mpg\.de$" name="^zope3_cs_\w{7}$" /-->
	<!--securecookie host="^www\.mpg\.de$" name="^_mpg_session$" /-->

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


	<rule from="^http://((?:www\.cbs|(?:www\.)?dsb|www)\.)?mpg\.de/"
		to="https://$1mpg.de/" />

</ruleset>
