export PROP_SERVER=gitlab.lrz.de
export PROP_SERVER_USER=ga123xyz
export PROP_DIR_SDR=sdr
export PROP_DIR_DECODER=mondbaron