Baked-Lamb-Shank-with-Lentils-and-Garlic-Mash