What ultimately leads to this is still unclear. Newly set up Debian 13 systems do not show this phenomenon, with identical config of /etc/network/interfaces.

An additional entry in /etc/network/interfaces. provides a remedy.