Deutscher Wetterdienst developer