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