Kochschinken, gekochter Schinken als Aufschnitt