Fehler bei "Gehe zu Definition", das sich die Einfügemarke bereits in der Definition befindet oder keine explizite Definition ...