The crystal structure of tetrapotassium dihydrogendecaoxodiiodate(VII) octahydrate