See GitHub CR Auffindbarkeit der Entwicklungsumgebung aufheben #92