Wie ist die Formel von NACL bzw. wie kommt man auf NACL?