Email Record: How public sector pay and employment affect labor markets :