I've done about a third of it. 25c is dodgy for pinch punctures in Germany
as small sections of their Radwegs can be gravelly. I always tour on 32c
because of that.