Redmi Notes 12/12 Pro / Pro +, A2 and 12C: prices leaked in Europe ...