https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/Deutsche-BKK.xml
<ruleset name="Deutsche BKK"> <target host="www.deutschebkk.de" /> <target host="deutschebkk.de" /> <rule from="^http://(?:www\.)?deutschebkk\.de/" to="https://www.deutschebkk.de/"/> </ruleset>