Bayern Munich purchase Lucas Hernandez