For anyone stumbling over this: Camera worked again after restarting the phone.