<!--
     Börse Frankfurt / Frankfurt Stock Exchange

     Non-functional subdomains:
       - mobil.boerse-frankfurt.de
-->

<ruleset name="Börse Frankfurt">
    <target host="boerse-frankfurt.de" />
    <target host="www.boerse-frankfurt.de" />

    <rule from="^https?://boerse-frankfurt\.de/"
        to="https://www.boerse-frankfurt.de/" />
    <rule from="^http://([^/:@]+)?\.boerse-frankfurt\.de/"
        to="https://$1.boerse-frankfurt.de/" />
</ruleset>
