...Sie ist in der Rechtsprechung des Bundesverfassungsgerichts geklärt. Danach sind auch unter Berücksichtigung der Besonderheiten des Normenkontrollverfahrens die Entscheidungsgründe eines verfassungsgerichtlichen Urteils zur Ermittlung des Sinns der Urteilsformel heranzuziehen (BVerfG, Urteil vom 19. Juli 1966 - 2 BvF 1/65 - BVerfGE 20, 56 <86>)....