Das Recht des Dienstgebers eines öffentlich-rechtlichen Dienstverhältnisses ohne daß es einer Vereinbarung mit dem Dienstnehmer bedarf, dessen Diensterfindungen zur Gänze oder ein Benützungsrecht an solchen Erfindungen für sich in Anspruch zu nehmen, sollte nach der erklärten Absicht des Gesetzgebers dem öffentlich-rechtlichen Charakter des Dienstverhältnisses Rechnung tragen; fließt demnach der Anspruch des öffentlich-rechtlichen Dienstgebers unmittelbar aus seiner Hoheitsgewalt gegenüber dem Beamten, dann sind diese Ansprüche dem öffentlichen Recht und nicht dem Privatrecht zuzuordnen; sie sind daher im Dienstrechtsverfahren geltend zu machen.