Philips pocketbook (N.V.Phillips, Nederland)