anderes format, anderer stromverbrauch??

[dead_orc]

AFAIK decodiert ein MP3-Player die Dateien nicht erst, sondern spielt sie einfach ab. Aber wie Gala schon sagte, beziehen sich die 12 Stunden nicht auf die Lebensdauer der Batterie bei Dauerbetrieb (das wäre zu wenig) sondern auf die mögliche Dauer Musik, die du im MP3-Format auf den Player bekommst.
Beispiel:
1 Minute Musik @ MP3 128kBit/s sind (etwa) 1MiB.
1 Minute Musik @ OGG 128kBit/s sind aber scheinbar kleiner, also bekommst du davon auch mehr auf den Speicher deines MP3-Players

[EDIT]
Hätte er jedoch einen der ersten MP3-Player, hätte er wohl auch kurz nach dem Kauf gefragt. Außerdem konnten die AFAIK noch kein OGG!