Then I believe the following SPF record should be provided for
lists.osmocom.org:
"v=spf1 a mx a:gandharva.secretlabs.de -all"