Life satisfaction in West Germany and East Germany, 2012-2016.