Just a follow-up, within Premiere the source file also also shows as 1920×1080 by clicking on the imported clip properties. Interestingly enough, I create a 1920×1080 sequence and imported both that original problematic clip and another clip (captured with a different mobile phone) and the latter shows up as expected, but the original file in question shows up as if it were 1280×720. I can’t explain this, maybe someone else can shed some light on this for me.