Got a solution for this on the german forums:
<?php
if ( 'portfolio' == get_post_type() ) {
$this_post_id = get_the_id();
$args = array(
'post_type' => 'portfolio',
'post_status' => 'publish',
'posts_per_page' => -1,
'fields' => 'ids',
'order' => 'ASC',
);
$the_query = get_posts( $args );
$key = array_search( $this_post_id , $the_query );
$key++;
$published_posts = wp_count_posts( 'portfolio' )->publish;
echo ' ' . $key . ' / '. $published_posts;
} //end if post type ?>