A phase transition in a Widom–Rowlinson model with Curie–Weiss interaction. (12th July 2018)