Eindeutige Formel-Kennung