A . 希姆具有民事豁免权，甲国法院不应受理该反诉案件
B . 尽管希姆具有民事豁免权，但甲国法院可以受理大卫对希姆的反诉
C . 希姆到甲国法院起诉后，就意味着其放弃了豁免权，因此甲国的判决可以强制执行
D . 尽管希姆主动提起起诉，希姆对判决执行豁免的放弃也必须由派遣国明示作出