Magnetic domain structures in Co–Ni–Al shape memory alloys studied by Lorentz microscopy and electron holography