For the curious, this is the saga of when I had to fix my washing machine because a repair man used the wrong type of terminals when fixing it previously: https://andri.yngvason.is/repairing-the-washing-machine.html