Implementierung und Evaluation des TEE-basierten State-Machine-Replication-Algorithmus Damysus