Ja, das sollten Servicezeichen sein.