Deleted the longer weak formulation: after a test, the results were the same for the shorter.
Changed boundary condition to fit the scaled domain.