First try

- I think Lamport works fine
- But Ive to think more about how to decide how to compare two
VectorClocks and especially how to decide if a Vectorclock is
deliverable
- If anyone of you has an idea it would help a lot :)