model_check_3_summer_in_berlin_2010_2.gif