Technical Appendix to Real-Business-Cycle Models and the Forecastable Movements in Output, Hours, and Consumption