sannprófun í btse