anhefti ff7cc5b020 fixed nullpointer		2021-08-12 10:30:37 +02:00
..
ethz/seb/sebserver	fixed nullpointer	2021-08-12 10:30:37 +02:00