Ein Tauchsieder bringt das Wasser schneller zum Sieden als ein Spiritusbrenner