Oh cool! In the meantime, I had found a simpler version:
add_theme_support( ‘post-thumbnails’ );
/*set_post_thumbnail_size( 80, 55, true ); // W x H, hard crop if you want the thumbnails to automatically crop*/
but yours is way better, obviously!