CCC tor servers gone?

[Olaf Selke]

hi,

since a couple of days both tor servers of the German Chaos Computer
Club don't show up in the tor network stats. Did they shut down their
service?

regards, Olaf