Nationalbankens diskonto för riksmyntsvexlar,