Title: Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken