The first wallet you mention spent 0.338 BTC and the change was later spent in the 13 BTC deposit you made. I can see from your post history that you do not have a good understanding of how HD wallets work and how Bitcoin transactions work. Another wallet you thought belonged to a mixer was your own change address and this is confirmed by a screenshot you posted which shows you spending that change an hour and a half later after you made that deposit.

The 13 BTC has not moved at all since you sent it. Since the address had not been used before we don’t have any idea who it belongs to. The mixer you were accusing shut down long ago and I could not find any information whether it was done voluntarily or they were forced to shut down. Unfortunately, I don’t think you will be getting those 13 BTC back any time soon but you can keep monitoring the address for any possible movements which might lead to the identification of its owner.