Sharp interface limit for a Navier–Stokes/Allen–Cahn system in the case of a vanishing mobility | Synapse