Another proof of BEC in the GP-limit

We present a fresh look at the methods introduced by Boccato, Brennecke, Cenatiempo, and Schlein concerning the trapped Bose gas and give a conceptually very simple and concise proof of BEC in the Gross-Pitaevskii limit for small interaction potentials.