[checkmk-commits] 3695 f5_bigip_cluster_v11: Now WATO configurable