Sizes of various map formats

https://api.openstreetmap.org/user/malenki/diary/37826