Rührei, Gekochte Eier