Efter dessa kortfattade upplysningar,