Dr. Josef Christ zum Richter des BVerfG ernannt