Hm, ich würde gar keine MP3s nehmen, die sind einfach zu groß....

Midis sind einfach praktischer - Die haben eine verhältnismäßig gute Quali, und sind winzig im Ggstz zu MP3s...^^