Diverses

Hier findet Platz, was nirgendwo vernünftig einsortiert werden kann, aber dennoch notwendig ist.