
via using '$' as special char. Change-Id: Idfbad84b76d2f5161cb6ecc21d63349f23cd47fa Reviewed-on: https://forge.frm2.tum.de/review/18188 Tested-by: JenkinsCodeReview <bjoern_pedersen@frm2.tum.de> Reviewed-by: Enrico Faulhaber <enrico.faulhaber@frm2.tum.de>