I don't see myself changing the way I power my campervan as the power station I bought was pretty expensive but I suppose I don't know what could happen in the future, it could break and need replacing so I suppose futureproofing with 16mm2 is probably not a bad thing and won't cause any harm having thicker cables.
I found this manual online for the charger:
View attachment 271208
If this is correct then the input should be 16mm2 and 60A. It may end up being shorter than 5m as I haven't measured but even then having 16mm2 wont be a bad thing, right?