aproche wrote:It would be great to render the short films according to the DCI specifications

I think rendering them again would take too much time and/or money, but for example for Big Buck Bunny (and probably also the other open movies) there is a 1920x1080 version already (you could add a black 38"px" border to both sides). In the case of BBB you could download for example the H.264 encoded version and reencode/remux it according to the DCI specs. Maybe you can achieve this just with ffmpeg/mencoder? That would probably be the way to go if there is not enough money or sponsored computing power to render it again in 1998*1080 resolution.