<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>
