code>,
<code><a href="uni_stuttgart_1.html">uni_stuttgart_1</a></code>,
<code><a href="uni_stuttgart_print.html">uni_stuttgart_print</a></code>,
<code><a href="uni_ulm_1.html">uni_ulm_1</a></code>,
<code><a href="uni_ulm_2.html">uni_ulm_2</a></code></p></div>
    </div>
    <div class="section level2">
    <h2 id="author">Author<a class="anchor" aria-label="anchor" href="#author"></a></h2>
    <p><strong>unicol</strong>, 2022-12-05.</p>
    </div>

    <div class="section level2">
    <h2 id="ref-examples">