[checkmk-commits] 5272 Make Real-Timer-Helper Pool configurable