There are two files with GNSS raw measurements provided:
The first one refers to the measurements recorded at Eibsee, and the second one includes the measurements at Zugspitzplatt.