آبِ تهران در تابستان جیره‌بندی می‌شود؟