Umbenennung des Task-Schedulers und weitere Verbesserungen