A former discount grocery store chain.