I can import the HD account into electrum and get all the addresses and corresponding secret keys, but I can't find there the local trader account address.

Moreover, the paper backup of the local trader account address has the secret key encrypted (I don't understand the purpose of that). How do you extract the secret key from the paper backup?

Is there another way to get the secret key of the bitcoin address of the local trader account?