https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/German-Design-Council.xml
<ruleset name="German Design Council"> <target host="german-design-council.de"/> <target host="*.german-design-council.de"/> <securecookie host="^(.*\.)?german-design-council\.de$" name=".*"/> <rule from="^http://(www\.)?german-design-council\.de/" to="https://$1german-design-council.de/"/> </ruleset>