.
tipico casino internal error ntnu