mirror statistics

--- filesystem usage statistics: web2.mirror.cust.fra (Frankfurt/Main, Germany) ---