Hi Arnold, all of these lenses have already been profiled and have been available in recent versions of Lightroom including 5.6. However, they will only show up in the user interface when processing raw files.
Hi Paul - have you gotten the lens profile for the zeiss 16-70 to work in Lightroom? Im using LR 5.7 and do not see the profile for the 16-70. I also looked in the Adobe Lens Profile downloader app, but don't see it there either