Hatte noch nie einen Gasherd (und ich werde auch in Zukunft wohl nur eine verwaiste Gassteckdose haben — wobei: vielleicht kann man einen Gasgrill, oder wenigstens einen Bunsenbrenner für Crème brûlée dran anschließen).