Die Tiefen des Problems der byzantinischen Generäle und Konsensalgorithmen: Wie Paxos, Raft und BFT funktionieren