get_header_image als background

get_header_image() wird in den mitgelieferten Themes als src-Attribut zu einem img ausgegeben. Klickbar. Alles schön und gut.
Die gleiche Funktionalität nutzend kann das dynamische header-image in den Hintergrund geschickt werden.
Dazu baut man header.php nur wenig um und gibt die url als Attribut von background innerhalb eines style-tags aus!