Functional Renormalization Group for Interacting Bosons by Andreas Sinner