Tipp: Um den Kurzlink (hier: https://dejure.org/9999,12825) schnell in die Zwischenablage zu kopieren, können Sie die Tastenkombination Alt + R verwenden - auch ohne diesen Bereich zu öffnen.