The 4th WC can only be given to commitment players. If no commitment player asks for it the spot goes to the next player in ALT list. In this case it can be Müller. Correct.
that's what happened. Müller is officially in, Ebden taking advantage of the same in Basel.