Datensatz als E-Mail versenden: Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol