* Christian Meseberg schrieb am Montag, den 09. Februar 2009: > mit welchem Player werden Midi-Dateien abgespielt? apt-cache search midi | grep -i player Das zeigt Dir z. B. playmidi, pmidi, timidity... Gruß, Andreas