ength 7.</p>
    </div>
    <div class="section level2">
    <h2 id="source">Source<a class="anchor" aria-label="anchor" href="#source"></a></h2>
    <p>Color definitions are based on
<a href="https://ethz.ch/de.html/staffnet/en/service/communication/corporate-design/digital-media/web-colours.html" class="external-link">https://ethz.ch/de.html/staffnet/en/service/communication/corporate-design/digital-media/web-colours.html</a>.</p>
    </div>
    <div class="section level2">
    <h2 id="value">Value<a clas