Crystal structure of potassium erbium pentafluoride K2ErF5