Datensatz als E-Mail versenden: A Framework for Certified Self-Stabilization