4"><a href="#savingrestoring-the-factory_2" class="nav-link">Saving/restoring the factory</a>
              <ul class="nav flex-column">
              </ul>
            </li>
              </ul>
            </li>
            <li class="nav-item" data-level="2"><a href="#additional-functions" class="nav-link">Additional Functions</a>
              <ul class="nav flex-column">
              </ul>
            </li>
            <li class="nav-item" data-level="2"><a href="#sample-size-adaptation" class="nav-lin