Aljoscha, Der Ruhmreiche Recke (film)