mirror statistics

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