Decoding walther p1 serial numbers