New PATCH release 00.12.01 Changes since 00.12.00: Adapted tests to the changed output of DeviceAccess exceptions.
