Merge branch 'prod' into 'main'

Prod

See merge request sr151511/vennemann!1

.gitlab-ci.yml

+variables:
+  DOCKER_TLS_CERTDIR: ""
+docker-build-master:
+  # Official docker image.
+  image: docker:latest
+  stage: build
+  services:
+    - docker:dind
+  before_script:
+    - docker login -u "$CI_REGISTRY_USER" -p "$CI_REGISTRY_PASSWORD" $CI_REGISTRY
+  script:
+    - docker build --pull -t "$CI_REGISTRY_IMAGE":prod .
+    - docker push "$CI_REGISTRY_IMAGE":prod

Dockerfile

+FROM jupyter/scipy-notebook:hub-1.5.0
+
+# Install from APT repository
+USER root
+RUN apt-get update
+RUN apt-get install -y git
+
+# Install basics
+USER jovyan
+RUN pip3 install --upgrade pip
+
+# Install 'nice to have lab extensions'
+RUN pip install --upgrade jupyterlab
+RUN pip install jupyterlab-git==0.34.0
+RUN pip install jupyterlab-gitlab==3.0.0
+
+# Install for -> ewirtsch
+RUN pip install pandaSDMX==1.6.0
+RUN pip install plotly==5.4.0
+
+# Install for -> artifint
+RUN pip install python-constraint==1.4.0
+RUN pip install ortools==9.1.9490
+RUN pip install tensorflow==2.7.0
+RUN pip install keras==2.7.0
+
+# Install for -> windkanl
+RUN pip install paho-mqtt==1.6.1
+
+# Install for -> stroemmt
+RUN pip install openpiv