[tor-commits] r25133: {website} remove webersiedlung mirror and update the table. (in website/trunk: . include)