rwth-aachen mirror down? Perval 13. März 2022 um 14:41 Vorgestern war ein Mirror von Mint down... Welcher weiß ich aber nicht mehr...