<ruleset name="Bundesverfassungsgericht.de">
  <target host="www.bundesverfassungsgericht.de" />
  <target host="bundesverfassungsgericht.de" />
  <target host="www.bverfg.de" />
  <!-- no DNS entry for bverfg.de -->

  <securecookie host="^(.*\.)?bundesverfassungsgericht\.de$" name=".+" />
  <securecookie host="^(.*\.)?bverfg\.de$" name=".+" />

  <rule from="^http:" to="https:"/>
</ruleset>
