Jetzt dabei! Kommt und lernt über die Spezifikation verteilter Systeme