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