Erläuterung und Verifizierung des UCS Hyperflex Zookeeper Service