Another proof of BEC in the GP-limit

We present a fresh look at the methods introduced by Boccato, Brennecke, Cenatiempo, and Schlein Commun. Math. Phys. 359(3), 975–1026 (2018); Acta Math. 222(2), 219–335 (2019); Commun. Math. Phys. 376, 1311 (2020) concerning the trapped Bose gas and give a conceptually very simple and concise proof of Bose–Einstein condensation in the Gross–Pitaevskii limit for small interaction potentials.