die nach dem Sterntag für astronomische Zwecke gemessene Universalzeit, im Gegensatz zu der nach dem Sonnentag gemessenen planetarischen Zeit.