Untersuchung von adaptiven Batching-Verfahren für State Machine Replication am Beispiel von MinBFT