adapt docker usage for deegree image