Could we possibly get old.discuss.tchncs.de?

Using this alternative front end mlmym. (example: https://old.lemmy.world/, https://old.lemmy.ca/, https://old.lemmy.sdf.org/ )