Gewerblicher Eierkocher für Restaurants, elektrischer Eierdämpfer