/Date(1341788400000+0100)/ to DD/MM/YYYY HH:MM
===

I have a date being outputted in a variable as:

    /Date(1341788400000+0100)/

How would I go about formatting this using PHP into:

    DD/MM/YYYY HH:MM

Thanks!