Not sure why a merge is needed, could be that OB fixed things twice, once on...

Not sure why a merge is needed, could be that OB fixed things twice, once on my laptop, then once in GIT
Merge branch 'antenna-patterns' of gitlab.aei.uni-hannover.de:einsteinathome/pulsatingscience into antenna-patterns