Not quite correctly. The IP is different maybe because the CPU executes the next instruction before taking the NMI and "SPEICHER-SEGMENT" is the contents of port 0xf842 and I'm not sure what it is (possibly the high 8 bits of the faulting address?).