I'm still stuck on the proof of the proposition concerning weil restriction over local fields.