Det vore dock beklagligt,