Automatische Umwandlung eines Nichtigkeitsverfahrens in ein Feststellungsverfahren nach der nach Zuschlagserteilung ausgesprochenen Aufhebung der kontrollbehördlichen Abweisung der beantragten Nichtigerklärung durch Gerichtshöfe des öffentlichen Rechts