Montonen–Olive duality