Ich würde auch die 1,5 mm Folie nehmen, aber damit du lange genug Freude dran hast, nimm lieber EPDM Folie an Stelle von PVC. Diese hat eine bessere Ausdehnung und wird auch im Gegensatz zu PVC Folie nicht brüchig mit den Jahren. Ist wohl etwas teurer, aber auf lange Sicht, rechnet sich das!