mirror statistics

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