Marc Roca wechselt zum FC Bayern.