How to combine multiple files with FFmpeg

To create a large video file from multiple video files, one does not simply cat into Mordor, because of different header information or stream mappings in the files. But one can use ffmpeg to do that job.