change from OpenLayers 2.10 to 2.12, updated GeoExt - ATTENTION: tooltips are currently broken!!!!!!