Looks like @jens-jung hasn't received any replies!