Under diskussionen upplystes af hr Key,