med ett ironiskt leende ,—