Hot punching machine