Jnflrifterna lyda ungefär sålunda: