https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/Techniker-Krankenkasse.xml

<ruleset name="Techniker Krankenkasse">
<target host="www.tk.de" />
<target host="tk.de" />
<rule from="^http://(?:www\.)?tk\.de/" to="https://www.tk.de/"/>
</ruleset>