@alexgr: How large is