Stav dette: Exploring advanced Euclidean geometry with GeoGebra