model_check_3_summer_in_berlin_2010_3.gif