How can I save an instrument track as a midifile.

How can I save an instrument track as a midifile. Since the last updates, the function "Export as ..." no longer exists. There is still an export function, but there I find only formats like Wav, Mp3 etc.