Technisch kann man die Frage aber jedenfalls recht einfach
beantworten.
Hintergrundbilder sind Dekoration und werden daher mit CSS
eingebunden.
Für eine Animation braucht man ein geeignetes Format.
Allerdings ist auch ein CSS3-Modul zur Animation selbst in
Vorbereitung und kann z.B. mit webKit getestet werden.
Unabhängig von dem erst in Entwicklung befindlichen CSS3-Modul
bietet es sich an, für das Bild ein geeignetes Format zu wählen.
Zum einen gibt es da SVG (funktioniert als Hintergrundbild wohl
mindestens bei Opera, eventuell auch bei webKit), was sich auch
sehr einfach animieren läßt.
GIF geht prinzipiell auch, hat aber meist sehr große Dateien zur
Folge, weil da nur Einzelbilder abgelegt werden. Ebenso ist es
mit dem nicht offiziell akzeptierten APNG. Das bessere MNG wird
allenfalls im Konqueror interpretiert.
Alternativ kann man versuchen zu tricksen - per CSS ein object
oder dergleichen hinter dem Haupttext positioneren, in dem dann
ein Video läuft (MPEG, OGG, flash, SVG etc) - ist dann aber
technisch kein Hintergrundbild mehr. Gibt auch browser, die da
Probleme mit der korrekten Zeichenreihenfolge in CSS haben
können.
Inhaltlich ist das meist bedenklich, weil das Gehirn darauf
optimiert ist, auf Bewegungen zu achten, weshalb des durch ein
animiertes Hintergrundbild vom eigentlichen Inhalt abgelenkt
wird. Es mag aber spezielle Anwendungen geben, wo dies einen
Sinn ergibt, etwa um die Aufmerksamkeit auf einen bestimmten
Bereich der Seite zu lenken (die z.B. eine Fehlermeldung enthält
oder auf ein Problem etwa bei einer Formulareingabe hinweist).
dein jeziger hintergrund ist doch nur ne Frabe das kannst du rein mit CSS lösen oder du kannst das bild noch kleiner machen von 1px × 358px auf 1 x 1… spart an ladezeit…
deine Seite hat immoment: 263.1 KB (Startseite und ohne Cache)
ist schon relativ viel…
Wie bereits erläutet, werden animierte GIFs je nach Motiv recht
schnell sehr groß, weil die Kompression für Animationen
schlecht/veraltet ist, insofern muß man da sehr drauf achten, daß
man da die Nutzer nicht ständig gewaltige Dateien nur für den
Hintergrund herunterladen läßt.
Bei einfachen oder kleinen GIF-Dateien sollte es da keine
Probleme geben. Habe ich auf einschlägigen Seiten auch schon
im letzten Jahrtausend bei den üblichen browsern funktionieren
sehen.