Wenn dein Protokoll keine Quint-Spezifikation hat, existiert es dann überhaupt?