Nach diesen Vorgaben beruht die hier zu bejahende Verfolgungsdichte grundlegend auf den verfassungs bzw. strafrechtlichen Vorschriften, die unmittelbar an die Glaubenszugehörigkeit bzw. ausübung anknüpfen, so dass tatsächlich jeder Gruppenangehörige betroffen ist. Jedenfalls liegt insoweit ein staatliches Verfolgungsprogramm vor. Das würde allerdings dann nicht zur Begründung der erforderlichen Verfolgungsdichte genügen, wenn Verstöße gegen die Verbote tatsächlich nicht durchgesetzt würden, denn ein Verbot, das erkennbar nicht durchgesetzt wird, begründet keine Verfolgungsgefahr . Dafür, dass bezogen auf die bekennenden Ahmadis in Pakistan ein solcher Sachverhalt vorliegt, ist aber nichts ersichtlich. Insoweit ist allerdings die Anzahl gegen Ahmadis eingeleiteter Verfahren nur bedingt aussagekräftig . Denn zum einen wird ein strafbewehrtes Verbot auch dann „durchgesetzt“, wenn es keine Verfahren gibt, weil das Verbot aus Angst vor Bestrafung beachtet wird. Auch ein erzwungener Verzicht auf die Glaubensbetätigung kann ein Eingriff in die Religionsfreiheit sein , und um einen solchen geht es hier . Nach den Feststellungen des Verwaltungsgerichtshofs Baden-Württemberg ist davon auszugehen, dass die seit Jahrzehnten bestehende Gesetzgebung tatsächlich entsprechende „Früchte“ getragen hat und verfolgungsträchtige öffentliche Glaubensbetätigungen kaum mehr stattfinden . Zum anderen kann es im Fall der Ahmadis in Pakistan nicht allein auf durchgeführte Strafverfahren angekommen, weil die Verfolgungsintensität maßgeblich auch auf unzweifelhaft zahlreichen strafrechtlich bzw. ordnungsrechtlich nicht geahndeten Verfolgungsakten privater Akteure beruht und Ahmadis in Pakistan in einem Klima großer Feindseligkeit leben .