Sizes of various map formats

https://map.bnnd.eu.org/user/malenki/diary/37826