Local-global compatibility at l = p over CM fields (Oberseminar Arithm. Geometry and Representation Theory)