HKrF in solid krypton