Swap IDgis repository for official deegree repository