/ (7) The murder of a federal, state, or local law enforcement officer, peace officer or former peace officer, corrections officer or former corrections officer, including county and municipal corrections officers, a county detention facility employee or former county detention facility employee, or fireman or former fireman during or because of the performance of his official duties. /