cybergibbon

It's a hardware wallet. It doesn't have any coins in it. It has private keys.

As the article says, the keys have been recovered from a Bitfi, allowing access to the funds.

I am not sure what else you require for it to be called hacked.

"But the researchers say that the secret phrase and salt can be extracted, allowing private keys to be generated and the funds stolen."

Not sure how much clearer it can be stated.