Nederland.xml

<ruleset name="NL Overheid" platform="mixedcontent">
  <!-- Ruleset created by Jeroen van der Gun

       This large ruleset secures a large amount of websites
       of governmental organizations in the Netherlands.
       Note that it only applies one, simple, general rule to them,
       so the sites might not be fully covered.
       Feel free to contact me for questions.

       NOT included are:
       * Sites that use HTTPS automatically
       * Sites that redirect back to HTTP
       -->

  <!-- Diversen -->
  <target host="digid.nl" /><target host="www.digid.nl" />
  <target host="overheid.nl" /><target host="www.overheid.nl" />
  <target host="internetconsultatie.nl" /><target host="www.internetconsultatie.nl" />
  <target host="werkenbijdeoverheid.nl" /><target host="www.werkenbijdeoverheid.nl" />
  <target host="nationaleombudsman.nl" /><target host="www.nationaleombudsman.nl" />
  <target host="govcert.nl" /><target host="www.govcert.nl" />

  <!-- Politie -->
  <target host="politie.nl" /><target host="www.politie.nl" />
  <target host="depolitiezoekt.nl" /><target host="www.depolitiezoekt.nl" />

  <!-- Ministeries -->
  <target host="minbzk.nl" /><target host="www.minbzk.nl" />
  <target host="waarschuwingsdienst.nl" /><target host="www.waarschuwingsdienst.nl" />
  <target host="bprbzk.nl" /><target host="www.bprbzk.nl" />
  <target host="minfin.nl" /><target host="www.minfin.nl" />
  <target host="domeinenrz.nl" /><target host="www.domeinenrz.nl" />
  <target host="justitie.nl" /><target host="www.justitie.nl" />
  <target host="cjib.nl" /><target host="www.cjib.nl" />
  <target host="wodc.nl" /><target host="www.wodc.nl" />
  <target host="forensischinstituut.nl" /><target host="www.forensischinstituut.nl" />
  <target host="hetlnvloket.nl" /><target host="www.hetlnvloket.nl" />
  <target host="donorregister.nl" /><target host="www.donorregister.nl" />

  <!-- Provincies (alfabetisch) -->
  <target host="brabant.nl" /><target host="www.brabant.nl" />
  <target host="overijssel.nl" /><target host="www.overijssel.nl" />
  <target host="zeeland.nl" /><target host="www.zeeland.nl" />

  <!-- Gemeenten (alfabetisch) -->
  <target host="aaenhunze.nl" /><target host="www.aaenhunze.nl" />
  <target host="amersfoort.nl" /><target host="www.amersfoort.nl" />
  <target host="amstelveen.nl" /><target host="www.amstelveen.nl" />
  <target host="amsterdam.nl" /><target host="www.amsterdam.nl" />
  <target host="bergenopzoom.nl" /><target host="www.bergenopzoom.nl" />
  <target host="gemeenteberkelland.nl" /><target host="www.gemeenteberkelland.nl" />
  <target host="gemeentebest.nl" /><target host="www.gemeentebest.nl" />
  <target host="boarnsterhim.nl" /><target host="www.boarnsterhim.nl" />
  <target host="borne.nl" /><target host="www.borne.nl" />
  <target host="coevorden.nl" /><target host="www.coevorden.nl" />
  <target host="doesburg.nl" /><target host="www.doesburg.nl" />
  <target host="duiven.nl" /><target host="www.duiven.nl" />
  <target host="elburg.nl" /><target host="www.elburg.nl" />
  <target host="geldermalsen.nl" /><target host="www.geldermalsen.nl" />
  <target host="haaksbergen.nl" /><target host="www.haaksbergen.nl" />
  <target host="haarlemmermeer.nl" /><target host="www.haarlemmermeer.nl" />
  <target host="heerenveen.nl" /><target host="www.heerenveen.nl" />
  <target host="s-hertogenbosch.nl" /><target host="www.s-hertogenbosch.nl" />
  <target host="heusden.nl" /><target host="www.heusden.nl" />
  <target host="hilversum.nl" /><target host="www.hilversum.nl" />
  <target host="hoorn.nl" /><target host="www.hoorn.nl" />
  <target host="horstaandemaas.nl" /><target host="www.horstaandemaas.nl" />
  <target host="houten.nl" /><target host="www.houten.nl" />
  <target host="huizen.nl" /><target host="www.huizen.nl" />
  <target host="lochem.nl" /><target host="www.lochem.nl" />
  <target host="maarssen.nl" /><target host="www.maarssen.nl" />
  <target host="maastricht.nl" /><target host="www.maastricht.nl" />
  <target host="meerssen.nl" /><target host="www.meerssen.nl" />
  <target host="middelburg.nl" /><target host="www.middelburg.nl" />
  <target host="middendrenthe.nl" /><target host="www.middendrenthe.nl" />
  <target host="moerdijk.nl" /><target host="www.moerdijk.nl" />
  <target host="gemeentenoordenveld.nl" /><target host="www.gemeentenoordenveld.nl" />
  <target host="noordwijkerhout.nl" /><target host="www.noordwijkerhout.nl" />
  <target host="oldebroek.nl" /><target host="www.oldebroek.nl" />
  <target host="opsterland.nl" /><target host="www.opsterland.nl" />
  <target host="oss.nl" /><target host="www.oss.nl" />
  <target host="pijnacker-nootdorp.nl" /><target host="www.pijnacker-nootdorp.nl" />
  <target host="renkum.nl" /><target host="www.renkum.nl" />
  <target host="rheden.nl" /><target host="www.rheden.nl" />
  <target host="rijswijk.nl" /><target host="www.rijswijk.nl" />
  <target host="schiedam.nl" /><target host="www.schiedam.nl" />
  <target host="schijndel.nl" /><target host="www.schijndel.nl" />
  <target host="sittard-geleen.nl" /><target host="www.sittard-geleen.nl" />
  <target host="smallingerland.nl" /><target host="www.smallingerland.nl" />
  <target host="stedebroec.nl" /><target host="www.stedebroec.nl" />
  <target host="steenwijkerland.nl" /><target host="www.steenwijkerland.nl" />
  <target host="terneuzen.nl" /><target host="www.terneuzen.nl" />
  <target host="teylingen.nl" /><target host="www.teylingen.nl" />
  <target host="tubbergen.nl" /><target host="www.tubbergen.nl" />
  <target host="uden.nl" /><target host="www.uden.nl" />
  <target host="utrecht.nl" /><target host="www.utrecht.nl" />
  <target host="vlagtwedde.nl" /><target host="www.vlagtwedde.nl" />
  <target host="vlissingen.nl" /><target host="www.vlissingen.nl" />
  <target host="wageningen.nl" /><target host="www.wageningen.nl" />
  <target host="weert.nl" /><target host="www.weert.nl" />
  <target host="gemeentewesterveld.nl" /><target host="www.gemeentewesterveld.nl" />
  <target host="gemeentewestland.nl" /><target host="www.gemeentewestland.nl" />
  <target host="wierden.nl" /><target host="www.wierden.nl" />
  <target host="wijchen.nl" /><target host="www.wijchen.nl" />
  <target host="winterswijk.nl" /><target host="www.winterswijk.nl" />
  <target host="zaltbommel.nl" /><target host="www.zaltbommel.nl" />
  <target host="zandvoort.nl" /><target host="www.zandvoort.nl" />
  <target host="zeist.nl" /><target host="www.zeist.nl" />
  <target host="zutphen.nl" /><target host="www.zutphen.nl" />
  <target host="zwijndrecht.nl" /><target host="www.zwijndrecht.nl" />

  <!-- And, of course, The Rule -->
  <rule from="^http://(?:www\.)?([\w-]+)\.nl/" to="https://www.$1.nl/" />
</ruleset>