Nachträgliche Anpassungen an migrator.php