Gerichtsdiener = Gerichtangestellter

---