Consider a tidal barrage constructed to enclose a lagoon of surface area 5 km², with typical tidal range of 4 m. What is the maximum possible average power output of such a barrage? How much would the net output be increased if an additional 1 m of water were pumped in at every high tide and pumped out at every low tide? (Remember to subtract energy used for pumping.)