Editoren - Hinweis, dass PhpStorm für Studierende u. U. kostenlos ist, hinzugefügt