Instant-Topf Linsensuppe mit Schinken

Zutaten

1. 1 Esslöffel Olivenöl.
2. 1 Tasse gehackte Zwiebel.
3. 1 Tasse gehackter Sellerie.
4. 1 Tasse Karotten, 1/4-Zoll-Scheiben.
5. 2 Knoblauchzehen, gehackt.
6. 1 ½ Tassen gewürfelter gekochter Schinken.
7. 1 Tasse Linsen.
8. ½ Teelöffel getrocknete Basilikumblätter.