Det vore dock i hög grad beklagligt,