Den nu afkunnade domen baremellertid