Ni–Mn–Ga thin films produced by pulsed laser deposition