Historia del tiempo para Munich, Bavaria, Germany | Polytreasury: Automatización de mercados de predicción