Stav dette: Quantum states of muons in fluorides