https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/sysprovide.xml
<ruleset name="sysprovide (partial)" platform="mixedcontent">
<target host="*.sysproserver.de"/>
<target host="sysprovide.de"/>
<target host="www.sysprovide.de"/>
<securecookie host=".*\.sysproserver\.de$" name=".*"/>
<securecookie host="^www\.sysprovide\.de$" name=".*"/>
<rule from="^http://srv(\d\d)\.sysproserver\.de/"
to="https://srv$1.sysproserver.de/"/>
<rule from="^http://(www\.)?sysprovide\.de/"
to="https://$1sysprovide.de/"/>
</ruleset>