Bull barrel shroud on 1990 RWS 48/52?

FE93D21B-A8C0-4B98-8BEC-C0E3F402F944.1623323223.jpeg
AFF7F44A-27A7-4B42-B43F-3C3D33E4C75C.1623323223.jpeg
2E913CD9-9790-4C7E-ABCC-22AD91FCE266.1623323224.jpeg
 Picked up this 1990 RWS 48/52 in .22 recently. It’s my first RWS gun. It’s an absolute hammer and very accurate. Came with this bull barrel shroud on it, and all the searching I’ve done comes up empty. Is it factory? Aftermarket? Seems well-made, just curious about its origins. Any help is appreciated.