A refugium for aquatic plants helps to filter algae and feed the koi fish in the pond beyond the pavilions.