Former Otter Pool? (now just a few ducks)

Is this the closed sea otter exhibit?

@DavidBrown I don't know, but I was hoping that a Dutch zoo nerd would answer my question in the title.

The closed sea otter exhibit was in the Oceanium in the area at the end that also has viewing of the sea lions, the kelp tank and some small invertebrate tanks. I believe the old exhibit, now empty, might have been entirely or partially boarded up now though. For a while it contained some trout but I don't think you can see all of it now.

Here's a photo I took last year of one of the two former sea otter exhibits. If any of it is on show it is this side, I believe the other side is not - however, someone more familiar than I with the Rotterdam Zoo should probably confirm.
One of two former sea otter exhibits (Nov 10th, 2018) - ZooChat
And another photo showing the other former sea otter exhibit.
Old sea otter enclosure? February 2016 - ZooChat

This exhibit I believe housed Eurasian otters until the pair died of old age in 2017 or 2018. This exhibit, however, was originally constructed to house Chinese alligators, but those passed away during their first hibernation in this exhibit and were never on show here. Picture below confirms it was an otter exhibit two years ago.
European otter enclosure - ZooChat