How many times did the player who replaced Manfred Müller at Bayern Munich play for his country ?