Anna: Extended Version - Navision