Japanese giant salamander that was kept in European zoos in the past

[captain alligator]

Currently, there are no Japanese giant salamander in European zoos, but it seems that they were kept in several zoos in Europe in the past. I think it was probably replaced by the Chinese giant salamander.