No deposit akkvisisjon påslåt Norge 2024 Working se dette Formal Methods Symposium 2019