I feel rather stupid, but it turns out to be a misconfigurated switch sitting between the dhcp server and the network the laptop. I was looking for traffic on the dhcpd's subnetwork with wireshark and saw nothing. It now works as expected.
BTW: with Alpine Linux 3.23.3 as guest I can't get networking working. OpenBSD works fine. Thanks for the help
