Gelöschte Dateien aus GIT entfernen

Um Dateien aus dem Verzeichnis zu löschen, welche in GIT bereits gelöscht wurden, kann man folgenden Befehl ausführen: