bohinj petra