Wie schnell muss mein DSL sein?