Anwendungsprogramm zur Erstellung eindeutiger Formelidentifikatoren (UFI-Generator)