A、 希姆具有民事豁免权，甲国法院不应受理该反诉案件

B、 尽管希姆具有民事豁免权，但甲国法院可以受理大卫对希姆的反诉

C、 希姆到甲国法院起诉后，就意味着其放弃了豁免权，因此甲国的判决可以强制执行

D、 尽管希姆主动提起起诉，希姆对判决执行豁免的放弃也必须由派遣国明示作出