Hallo Frank,

du liegst mit deiner Vermutung richtig, es sind die Lampen aus deinem Link. Solche Lampen werden auch für die Beleuchtung der Lichtschalter und des Zigarettenanzünders/Ascher verwendet. Der Zehnerpack ist deshalb eine gute Wahl.

Gruß Thorsten