Gratin von Tomaten mit Pilzen und Lauch

für 4 Personen

4 Lauchstangen (ca. 500 g), 4 EL Olivenöl, 600 g gehackte Tomaten, 2 Zwiebeln fein gehackt, 3 Knoblauchzehen halbiert und zerdrückt, 1 TL Zucker, Thymian, 2 Lorbeerblätter, Pfeffer, 200 g geputzte in Streifen geschnittene Pilze (Steinpilze, Pfifferlinge, Kräuterseitlinge…), 1 kl. Zwieb