Weyl, Philip Sebastian Richard (Dr)