Dishwasher or washing by hand: which is more energy efficient?