https-everywhere-rules-raw-4.0: vendor/https-everywhere/src/chrome/content/rules/UHH-Informatik.xml

<ruleset name="UHH_Informatik">
  <target host="www.informatik.uni-hamburg.de"/>
  <target host="informatik.uni-hamburg.de"/>
  <rule from="^http://(?:www\.)?informatik\.uni-hamburg\.de/" to="https://www.informatik.uni-hamburg.de/"/>
</ruleset>