Title: Automaten und Logiken über unendlichen Bäumen