För kuriositetens skull må tilläggas,