sagen. Die als verfassungswidrig befundenen Normen werden jedoch nicht formell aufgehoben, sondern nur im konkret zu beurteilenden Fall nicht angewendet (was jeweils zur Aufhebung des angefochtenen Rechtsanwendungsaktes führt). Allerdings hat die Nichtanwendung
aufgrund einer konkreten Normenkontrolle insbesondere dann, wenn diese vom Bundesgericht vorgenommen wurde, eine erhebliche präjudizielle Wirkung, die einer förmlichen Aufhebung faktisch gleich- oder zumindest nahekommt. Faktisch wirkt die Nichtanwendung im Einzelfall für künftige analoge Fälle mithin gleich wie eine formelle Aufhebung.31