Lido Redemptions - A Run On The Web3 Banks?