För kuriositetens skull må omnämnas,